L. E. J. Brouwer, the founder of mathematical intuitionism, believed that mathematics and its objects must be humanly graspable. He initiated a program rebuilding modern mathematics according to that principle. This book introduces the reader to the mathematical core of intuitionism – from elementary number theory through to Brouwer's uniform continuity theorem – and to the two central topics of 'formalized intuitionism': formal intuitionistic logic, and formal systems for intuitionistic analysis. Building on that, the book proposes a systematic, philosophical foundation (...) for intuitionism that weaves together doctrines about human grasp, mathematical objects and mathematical truth. (shrink)

Kant's views about mathematics were controversial in his own time, and they have inspired or infuriated thinkers ever since. Though specific Kantian doctrines fell into disrepute earlier in this century, the past twenty-five years have seen a surge of interest in and respect for Kant's philosophy of mathematics among both Kant scholars and philosophers of mathematics. The present volume includes the classic papers from the 1960s and 1970s which spared this renaissance of interest, together with updated postscripts by their authors. (...) It also includes the most important recent work on Kant's philosophy of mathematics. The essays bring to bear a wealth of detailed Kantian scholarship, together with powerful new interpretative tools drawn from modern mathematics, logic and philosophy. The cumulative effect of this collection upon the reader will be a deeper understanding of the centrality of mathematics in all aspects of Kant's thought and a renewed respect for the power of Kant's thinking about mathematics. The essays contained in this volume will set the agenda for further work on Kant's philosophy of mathematics for some time to come. (shrink)

Though my title speaks of Kant’s mathematical realism, I want in this essay to explore Kant’s relation to a famous mathematical anti-realist. Specifically, I want to discuss Kant’s influence on L. E. J. Brouwer, the 20th-century Dutch mathematician who built a contemporary philosophy of mathematics on constructivist themes which were quite explicitly Kantian. Brouwer’s theory is perhaps most notable for its belief that constructivism requires us to abandon the traditional logic of mathematical reasoning in favor of different canon of reasoning, (...) called intuitionistic logic. Brouwer thought that classical logic is intrinsically bound up with a nonconstructive view of mathematics. This means that, according to Brouwer, when we do mathematics we must give up bivalence, we must no longer use such familiar logical laws as excluded middle, and we must sometimes forebear from the classic method of reductio ad absurdum. All of these are intuitionistically invalid classical principles. (shrink)

MICHAEL DUMMETT, Elements of intuitionism. With the assistance of Robert Minio. Oxford: Oxford University Press, 1977. xii + 466 pp. No price stated.

volume 1. The critical philosophy and its roots.

IPC, the intuitionistic predicate calculus, has the property(i) Vc(A c /x) xA.Furthermore, for certain important , IPC has the converse property (ii) xA Vc(A c /x). (i) may be given up in various ways, corresponding to different philosophic intuitions and yielding different systems of intuitionistic free logic. The present paper proves the strong completeness of several of these with respect to Kripke style semantics. It also shows that giving up (i) need not force us to abandon the analogue of (ii).

It is argued that the tensed theory of the creative subject provides a natural formulation of the logic underlying Brouwer's notion of unextendable order and explains the link between that notion and virtual order. The tensed theory of the creative subject is also shown to be a useful tool for interpreting recent evidence about the stages of Brouwer's thinking concerning these two notions of order.

The ArgumentL. E. J. Brouwer and David Hubert, two titans of twentieth-century mathematics, clashed dramatically in the 1920s. Though they were both Kantian constructivists, their notoriousGrundlagenstreitcentered on sharp differences about the foundations of mathematics: Brouwer was prepared to revise the content and methods of mathematics (his “Intuitionism” did just that radically), while Hilbert's Program was designed to preserve and constructively secure all of classical mathematics.Hilbert's interests and polemics at the time led to at least three misconstruals of intuitionism, misconstruals which (...) last to our own time: Current literature often portrays popular views of intuitionism as the product of Brouwer's idiosyncratic subjectivism; modern logicians view intuitionism as simply applying a non-standard formal logic to mathematics; and contemporary philosophers see that logic as based upon a pure assertabilist theory of meaning. These pictures stem from the way Hilbert structured the controversy.Even though Brouwer's own work and behavior occasionally reinforce these pictures, they are nevertheless inaccurate accounts of his approach to mathematics. However, the framework provided by the Brouwer-Hilbert debate itself does not supply an adequate correction of these inaccuracies. For, even if we eliminate these mistakes within that framework, Brouwer's position would still appear fragmented and internally inconsistent. I propose a Kantian framework — not from Kant's philosophy of mathematics but from his general metaphysics — which does show the coherence and consistency of Brouwer's views. I also suggest that expanding the context of the controversy in this way will illuminate Hilbert's views as well and will even shed light upon Kant's philosophy. (shrink)

Benacerraf’s Problem about mathematical truth displays a tension, indeed a seemingly unbridgeable gap, between Platonist foundations for mathematics on the one hand and Hilbert’s ‘finitary standpoint’ on the other. While that standpoint evinces an admirable philosophical unity, it is ultimately an effete rival to Platonism: It leaves mathematical practice untouched, even the highly non-constructive axiom of choice. Brouwer’s intuitionism is a more potent finitist rival, for it engenders significant deviation from standard (classical) mathematics. The essay illustrates three sorts of intuitionistic (...) deviations (weakening, refinement and outright contradiction), and goes on to sketch the technical tools and arguments that engender those clashes with classical mathematics and the philosophical principles underlying those arguments. Those philosophical principles coalesce into a “standpoint” no less unified and no less finitary that Hilbert’s. This intuitionistic standpoint is sufficiently detailed that it itself provides a benchmark for comparing all the rival positions; and it is sufficiently robust that it dissolves the Benacerrafian dichotomy. However, the intuitionistic refutation of the axiom of choice reveals two distinct sub-streams within that intuitionistic standpoint. Distinguishing these streams suggests perhaps that in spite of that robustness, intuitionism has an internal dichotomy parallel to the Benacerrafian split. The Benacerrafian split is a crack in the foundations of mathematics. But I shall argue that this internal intuitionistic dichotomy is not at all a foundational gap; it is rather a special insight about the nature of mathematical thought. (shrink)

After sketching the essentials of L. E. J. Brouwer’s intuitionistic mathematics—separable mathematics, choice sequences, the uniform continuity theorem, and the intuitionistic continuum—this chapter outlines the main philosophical tenets that go hand in hand with Brouwer’s technical achievements. It presents his views about general and mathematical phenomenology and shows how these views ground his positive epistemological and ontological positions and his stinging criticisms of classical mathematics and logic. The chapter then turns to intuitionistic logic and its philosophical side. It first sets (...) out the basic meta-logical technical results, then discusses the relevant philosophical views—those of Arend Heyting and Michael Dummett. It concludes by tracing intuitionism’s philosophical and technical roots in Aristotle and Kant. (shrink)

Thomas A. Fay Heidegger and the Formalization of Thought 1 Dagfinn F011esdal The Justification of Logic and Mathematics in Husserl's Phenomenology 25 Guillermo E. Rosado Haddock On Husserl's Distinction between State of Affairs and Situation of Affairs.... 35 David Woodruff Smith On Situations and States of Affairs 49 Charles W. Harvey, Jaakko Hintikka Modalization and Modalities................... 59 Gilbert T. Null Remarks on Modalization and Modalities 79 J. N. Mohanty Husserl's Formalism 93 Carl J. Posy Mathematics as a Transcendental (...) Science 107 vi Gian-carlo Rota Mathematics and the Task of Phenomenology 133 John Scalon "Tertium Non Datur: " Husserl's Conception of a Definite Multiplicity..... 139 Thomas M. Seebohm Psychologism Revisited 149 Gerald J. Massey Some Reflections on Psychologism 183 Robert S. Tragesser How Mathematical Foundation all but come about: A Report on Studies Toward a Phenomenological Critique of Godel's Views on Mathematical Intuition.. 195 Kenneth L. Manders On Geometric Intentionality 215 Dallas Willard Sentences which are True in Virtue of their Color... 225 John J. Drummond Willard and Husserl on Logical Form 243 Index of Names 257 Index of Subjects 259 PREFACE The phenomenology of logic and ideal objects is the topic of Husserl's Logical Investigations. This book determined the early development of the so called phenomenological movement. It is still the main source for many phenomenologists, even if they disagree with Husserl's transcendental turn and developed other phenomenological positions or positions beyond phenomenology he early sense. (shrink)

I thank the editors for inviting me to contribute to this issue on critical views of logic. Kant invented the critical philosophy. He fashioned its doctrines (Understanding versus Reason, synthetic...

Kant says patently conflicting things about infinity and our grasp of it. Infinite space is a good case in point. In his solution to the First Antinomy, he denies that we can grasp the spatial universe as infinite, and therefore that this universe can be infinite; while in the Aesthetic he says just the opposite: ‘Space is represented as a given infinite magnitude’ (A25/B39). And he rests these upon consistently opposite grounds. In the Antinomy we are told that we can (...) have no intuitive grasp of an infinite space, and in the Aesthetic he says that our grasp of infinite space is precisely intuitive. (shrink)

The late 1960s saw the emergence of new philosophical interest in Kant's philosophy of mathematics, and since then this interest has developed into a major and dynamic field of study. In this state-of-the-art survey of contemporary scholarship on Kant's mathematical thinking, Carl Posy and Ofra Rechter gather leading authors who approach it from multiple perspectives, engaging with topics including geometry, arithmetic, logic, and metaphysics. Their essays offer fine-grained analysis of Kant's philosophy of mathematics in the context of his (...) Critical philosophy, and also show sensitivity to its historical background. The volume will be important for readers seeking a comprehensive picture of the current scholarship about the development of Kant's philosophy of mathematics, its place in his overall philosophy, and the Kantian themes that influenced mathematics and its philosophy after Kant. (shrink)

This book provides a survey of the major issues in the philosophy of mathematics, such as ontological questions regarding the nature of mathematical objects, epistemic questions about the acquisition of mathematical knowledge, and the intriguing riddle of the applicability of mathematics to the physical world. Some of these issues go back to the nascent years of mathematics itself, others are just beginning to draw the attention of scholars. In addressing these questions, some of the papers in this volume wrestle with (...) them directly, while others use the writings of philosophers such as Hume and Wittgenstein to approach their problems by way of interpretation and critique. The contributors include prominent philosophers of science and mathematics as well as promising younger scholars. The volume seeks to share the concerns of philosophers of mathematics with a wider audience and will be of interest to historians, mathematicians and philosophers alike. (shrink)

Mark Jay Steiner, a brilliant and influential philosopher of mathematics, whose interests and accomplishments extended beyond that field as well, passed away on.

Forced to Fail traces the long legal history of first racial segregation, and then racial desegregation in America. The authors explain how rapidly changing demographics and family structure in the United States have greatly complicated the project of top-down government efforts to achieve an "ideal" racial balance in schools. It describes how social capital—a positive outcome of social interaction between and among parents, children, and teachers—creates strong bonds that lead to high academic achievement.